(0 15 12)(1 17 5)(2 13 4)(3 16 9)(6 10 7)(8 14 11)
ALLOWS (11/8)-SEQUENCE
1: (3 9 16)
(0 15 12)(1 17 5)(2 13 4)(3 9 16)(6 10 7)(8 14 11)
2: (2 13 4)
(0 15 12)(1 17 5)(2)(3 9 16)(4)(6 10 7)(8 14 11)(13)
3: (3 9 16)
(0 15 12)(1 17 5)(2)(3)(4)(6 10 7)(8 14 11)(9)(13)(16)
4: (8 14 11)
(0 15 12)(1 17 5)(2)(3)(4)(6 10 7)(8)(9)(11)(13)(14)(16)